In this paper, I state the what I call the “problem of life after death,” survey some responses to it, and highlight a way in which the field might progress. Put simply, the problem of life after death is the problem of reconciling the fact that when we die, we will be totally destroyed with the belief that we will exist again at some time after our deaths. Contemporary solutions to the problem have focussed on the “logical” version of this (...) problem. I highlight that the problem would be better thought of as an evidential problem. (shrink)

The philosophical debate on miracles in Enlightenment England shows the composite and evolutionary character of the English Enlightenment and, more generally, of the Enlightenment’s relation to religion. In fact, that debate saw the confrontation of divergent positions within the Protestant field and led several deists and freethinkers to resolutely deny the possibility of “things above reason” (i.e. things that, according to such Protestant philosophers as Robert Boyle and John Locke, human reason can neither comprehend nor refute, and that humanity must (...) thus receive as supernatural). In their attacks on miracles, the deists adopted various strategies, which can be classified in two main groups. On the one hand, Charles Blount, John Toland, Anthony Collins, Thomas Woolston, and Peter Annet, although employing different concepts of reason and having different views of God and nature, rejected miracles on the basis that God is unable to contravene the eternal, immutable, and mechanical laws of nature. On the other, William Wollaston, Matthew Tindal, Thomas Chubb, and Thomas Morgan, whose theories on natural religion presented striking similarities, saw God as unwilling to interpose in human or natural affairs. They shunned the possibility of miraculous events while simultaneously acknowledging the presence and efficacy of divine providence in the government of the universe. In other words, they considered God as the active governor of the universe, rather than a distant and inert clockmaker removed from his Creation, but they held that God would not suspend the laws of nature, in which his impartial wisdom, forethought, and goodness found perfect expression. (shrink)

Does the decision to relax by taking a drive rather than by taking a walk cause harm? In particular, do the additional carbon emissions caused by such a decision make anyone worse off? Recently several philosophers have argued that the answer is no, and on this basis have gone on to claim that act-consequentialism cannot provide a moral reason for individuals to voluntarily reduce their emissions. The reasoning typically consists of two steps. First, the effect of individual emissions on the (...) weather is miniscule: the planet’s meteorological system is so large, and the size of individual emissions so tiny, that whatever impact an individual emission has on the weather must be vanishingly small. Second, vanishingly small impacts aren’t morally relevant because no one could possibly tell the difference between such an impact occurring and it not occurring. In this paper, we show why both steps are mistaken, and hence why act-consequentialism implies that each of us has an individual obligation to do what we can to stop damaging the climate, including by refraining from, or perhaps by purchasing offsets against, our own individual luxury carbon emissions. (shrink)

The Spirit of the Laws is, without question, one of the central texts in the history of eighteenth-century thought, yet there has been no complete, scholarly English-language edition since that of Thomas Nugent, published in 1750. This lucid translation renders Montesquieu's problematic text newly accessible to a fresh generation of students, helping them to understand quite why Montesquieu was such an important figure in the early enlightenment and why The Spirit of the Laws was, for example, such an influence (...) upon those who framed the American constitution. Fully annotated, this edition focuses attention upon Montesquieu's use of sources and his text as a whole, rather than upon those opening passages towards which critical energies have traditionally been devoted, and a select bibliography and chronology are provided for those coming to Montesquieu's work for the first time. (shrink)

This paper concerns the theory of morasses. In the early 1970s Jensen defined (κ,α)-morasses for uncountable regular cardinals κ and ordinals $\alpha . In the early 1980s Velleman defined (κ, 1)-simplified morasses for all regular cardinals κ. He showed that there is a (κ, 1)-simplified morass if and only if there is (κ, 1)-morass. More recently he defined (κ, 2)-simplified morasses and Jensen was able to show that if there is a (κ, 2)-morass then there is a (κ, 2)-simplified morass. (...) In this paper we prove the converse of Jensen's result, i.e., that if there is a (κ, 2)-simplified morass then there is a (κ, 2)-morass. (shrink)

This paper concerns the theory of morasses. In the early 1970s Jensen defined -morasses for uncountable regular cardinals $\kappa$ and ordinals $\alpha < \kappa$. In the early 1980s Velleman defined -simplified morasses for all regular cardinals $\kappa$. He showed that there is a -simplified morass if and only if there is -morass. More recently he defined -simplified morasses and Jensen was able to show that if there is a -morass then there is a -simplified morass. In this paper we prove (...) the converse of Jensen's result, i.e., that if there is a -simplified morass then there is a -morass. (shrink)

We show that the implicational fragment of intuitionism is the weakest logic with a non-trivial probabilistic semantics which satisfies the thesis that the probabilities of conditionals are conditional probabilities. We also show that several logics between intuitionism and classical logic also admit non-trivial probability functions which satisfy that thesis. On the other hand, we also prove that very weak assumptions concerning negation added to the core probability conditions with the restriction that probabilities of conditionals are conditional probabilities are sufficient to (...) trivialize the semantics. (shrink)

Conclusions reached using common sense reasoning from a set of premises are often subsequently revised when additional premises are added. Because we do not always accept previous conclusions in light of subsequent information, common sense reasoning is said to be nonmonotonic. But in the standard formal systems usually studied by logicians, if a conclusion follows from a set of premises, that same conclusion still follows no matter how the premise set is augmented; that is, the consequence relations of standard logics (...) are monotonic. Much recent research in AI has been devoted to the attempt to develop nonmonotonic logics. After some motivational material, we give four formal proofs that there can be no nonmonotonic consequence relation that is characterized by universal constraints on rational belief structures. In other words, a nonmonotonic consequence relation that corresponds to universal principles of rational belief is impossible. We show that the nonmonotonicity of common sense reasoning is a function of the way we use logic, not a function of the logic we use. We give several examples of how nonmonotonic reasoning systems may be based on monotonic logics. (shrink)

We develop an axiomatic theory of “generalized Routley-Meyer logics.” These are first-order logics which are can be characterized by model theories in a certain generalization of Routley-Meyer semantics. We show that all GRM logics are subclassical, have recursively enumerable consequence relations, satisfy the compactness theorem, and satisfy the standard structural rules and conjunction and disjunction introduction/elimination rules. We also show that the GRM logics include classical logic, intuitionistic logic, LP/K3/FDE, and the relevant logics.

Monetary intelligence theory asserts that individuals apply their money attitude to frame critical concerns in the context and strategically select certain options to achieve financial goals and ultimate happiness. This study explores the dark side of monetary Intelligence and behavioral economics—dishonesty. Dishonesty, a risky prospect, involves cost–benefit analysis of self-interest. We frame good or bad barrels in the environmental context as a proxy of high or low probability of getting caught for dishonesty, respectively. We theorize: The magnitude and intensity of (...) the relationship between love of money and dishonest prospect may reveal how individuals frame dishonesty in the context of two levels of subjective norm—perceived corporate ethical values at the micro-level and Corruption Perceptions Index at the macro-level, collected from multiple sources. Based on 6382 managers in 31 geopolitical entities across six continents, our cross-level three-way interaction effect illustrates: As expected, managers in good barrels, mixed barrels, and bad barrels display low, medium, and high magnitude of dishonesty, respectively. With high CEV, the intensity is the same across cultures. With low CEV, the intensity of dishonesty is the highest in high CPI entities —the Enron Effect, but the lowest in low CPI entities. CPI has a strong impact on the magnitude of dishonesty, whereas CEV has a strong impact on the intensity of dishonesty. We demonstrate dishonesty in light of monetary values and two frames of social norm, revealing critical implications to the field of behavioral economics and business ethics. (shrink)

The paper discusses various relationships between the concepts mentioned in the title. In Section 1 Todorcevic functions are shown to arise from both morasses and square. In Section 2 the theme is of supplements to morasses which have some of the flavour of square. Distinctions are drawn between differing concepts. In Section 3 forcing axioms related to the ideas in Section 2 are discussed.

Monetary Intelligence theory asserts that individuals apply their money attitude to frame critical concerns in the context and strategically select certain options to achieve financial goals and ultimate happiness. This study explores the bright side of Monetary Intelligence and behavioral economics, frames money attitude in the context of pay and life satisfaction, and controls money at the macro-level and micro-level. We theorize: Managers with low love of money motive but high stewardship behavior will have high subjective well-being: pay satisfaction and (...) quality of life. Data collected from 6586 managers in 32 cultures across six continents support our theory. Interestingly, GDP per capita is related to life satisfaction, but not to pay satisfaction. Individual income is related to both life and pay satisfaction. Neither GDP nor income is related to Happiness. Our theoretical model across three GDP groups offers new discoveries: In high GDP entities, “high income” not only reduces aspirations—“Rich, Motivator, and Power,” but also promotes stewardship behavior—“Budget, Give/Donate, and Contribute” and appreciation of “Achievement.” After controlling income, we demonstrate the bright side of Monetary Intelligence: Low love of money motive but high stewardship behavior define Monetary Intelligence. “Good apples enjoy good quality of life in good barrels.” This notion adds another explanation to managers’ low magnitude of dishonesty in entities with high Corruption Perceptions Index. In low GDP entities, high income is related to poor Budgeting skills and escalated Happiness. These managers experience equal satisfaction with pay and life. We add a new vocabulary to the conversation of monetary intelligence, income, GDP, happiness, subjective well-being, good and bad apples and barrels, corruption, and behavioral ethics. (shrink)

Local connectedness functions for (κ, 1)-simplified morasses, localisations of the coupling function c studied in [M96, §1], are defined and their elementary properties discussed. Several different, useful, canonical ways of arriving at the functions are examined. This analysis is then used to give explicit formulae for generalisations of the local distance functions which were defined recursively in [K00], leading to simple proofs of the principal properties of those functions. It is then extended to the properties of local connectedness functions in (...) the context of κ-M-proper forcing for sucessor κ. The functions are shown to enjoy substantial strengthenings of the properties (particularly the ∆-properties) hitherto proved for both c and for Todorcevic’s ρ-functions in the special case κ = ω1. A couple of examples of the use of local connectedness functions in consort with κ-M-proper forcing are then given. (shrink)

I criticize, but uphold the conclusion of, an argument by McLarty to the effect that New Foundations style set theories don’t form a suitable foundation for category theory. McLarty’s argument is from the fact that Set and Cat are not Cartesian closed in NF-style set theories. I point out that these categories do still have a property approximating Cartesian closure, making McLarty’s argument not conclusive. After considering and attempting to address other problems with developing category theory in NF-style set theories, (...) I conclude that NF-style set theories are not a good foundation for category theory, because of numerous limitations introduced by their stratification restrictions. (shrink)

Corruption involves greed, money, and risky decision-making. We explore the love of money, pay satisfaction, probability of risk, and dishonesty across cultures. Avaricious monetary aspiration breeds unethicality. Prospect theory frames decisions in the gains-losses domain and high-low probability. Pay dissatisfaction (in the losses domain) incites dishonesty in the name of justice at the individual level. The Corruption Perceptions Index, CPI, signals a high-low probability of getting caught for dishonesty at the country level. We theorize that decision-makers adopt avaricious love-of-money aspiration (...) as a lens and frame dishonesty in the gains-losses domain (pay satisfaction-dissatisfaction, Level 1) and high-low probability (CPI, Level 2) to maximize expected utility and ultimate serenity. We challenge the myth: Pay satisfaction mitigates dishonesty across nations consistently. Based on 6500 managers in 32 countries, our cross-level three-dimensional visualization offers the following discoveries. Under high aspiration conditions, pay dissatisfaction excites the highest- (third-highest) avaricious justice-seeking dishonesty in high (medium) CPI nations, supporting the certainty effect. However, pay satisfaction provokes the second-highest avaricious opportunity-seizing dishonesty in low CPI entities, sustaining the possibility effect—maximizing expected utility. Under low aspiration conditions, high pay satisfaction consistently leads to low dishonesty, demonstrating risk aversion—achieving ultimate serenity. We expand prospect theory from a micro and individual-level theory to a cross-level theory of monetary wisdom across 32 nations. We enhance the S-shaped Curve to three 3-D corruption surfaces across three levels of the global economic pyramid, providing novel insights into behavioral economics, business ethics, the environment, and responsibility. (shrink)

Fuzzy logics are systems of logic with infinitely many truth values. Such logics have been claimed to have an extremely wide range of applications in linguistics, computer technology, psychology, etc. In this note, we canvass the known results concerning infinitely many valued logics; make some suggestions for alterations of the known systems in order to accommodate what modern devotees of fuzzy logic claim to desire; and we prove some theorems to the effect that there can be no fuzzy logic which (...) will do what its advocates want. Finally, we suggest ways to accommodate these desires in finitely many valued logics. (shrink)

Dan Talayco has recently defined the gap cohomology group of a tower in p/fin of height ω1. This group is isomorphic to the collection of gaps in the tower modulo the equivalence relation given by two gaps being equivalent if their levelwise symmetric difference is not a gap in the tower, the group operation being levelwise symmetric difference. Talayco showed that the size of this group is always at least 2N0 and that it attains its greatest possible size, 2N1, if (...) ⋄ holds and also in some generic extensions in which CH fails, for example on adding many Cohen or random reals. In this paper it is shown that there is always some tower whose gap cohomology group has size 2N1. It is still open as to whether there are models in which there are towers whose gap cohomology group has size less than 2ω1. (shrink)

In this paper we examine the thesis that the probability of the conditional is the conditional probability. Previous work by a number of authors has shown that in standard numerical probability theories, the addition of the thesis leads to triviality. We introduce very weak, comparative conditional probability structures and discuss some extremely simple constraints. We show that even in such a minimal context, if one adds the thesis that the probability of a conditional is the conditional probability, then one trivializes (...) the theory. Another way of stating the result is that the conditional of conditional probability cannot be represented in the object language on pain of trivializing the theory. (shrink)

Let µ be a regular cardinal. In this paper I prove two (forcing) existence results concerning structures governed by two parameters, the cardinal µ and an ordinal ρ less than µ+++. The results improve on theorems from [M*2] where the second parameter was always the cardinal µ++.

After a couple of weeks I eventually got around to reading the preprint and started wondering about recasting the argument in my preferred formalism. I arrogantly assumed that this would allow one to smooth out parts of the proof and simplify the details of the definition of the forcing conditions (at the cost of taking the framework set out in §§1,2 below as given). However when I tried to write things down I found myself, to my chagrin, more or less (...) cornered in making my definitions into most of the intricacies that Friedman had been. I suppose that this shows that the original proof is in some sense the natural one (or one of a family of ‘natural’ ones). Nevertheless I obstinately persisted and this note is the result. (shrink)

κ-M-proper forcing, introduced in [K00] when κ = ω1, is a very powerful new technique for generic stepping up, subsuming all previous generic steppings up using auxiliary functions. A general framework for using κ-M-proper forcing is set out, and a couple of examples of such forcings, adding κ−-thin-very tall scattered spaces and long chains in P(κ) modulo <κ−, are given. These objects are not currently obtainable by the previously known techniques.

is a (κ, 1)-simplified morass if θα | α < κ is an increasing sequence of ordinals less than κ, θκ = κ+, and each Fαβ is a collection of maps from θα to θβ such that the following properties hold.

Many believe that colleges of business have a role to play in improving the level of marketing ethics practiced in the business world, while others believe that by the time students reach the level of university education, their ethical beliefs are so ingrained as to be virtually unalterable. The purpose of this study is to add to the literature regarding university students' ethical value judgments. It utilizes scenario studies to assess base line ethical values of junior level undergraduate business administration (...) students, then techniques are employed to influence students' perceptions of the ethics of various marketing practices, and students' values are reassessed. A total of 667 junior and senior level students majoring in business administration participated in the pre-tests and 525 students participated in the post-tests. The results of the before/after studies indicate that some experimental techniques are more effective than others in affecting change, but it is difficult to affect long-run change in those predisposed to unethical behavior. (shrink)

In [2] Hempel and Oppenheim give a definition of “explanation” for a certain formal language. In [1] Eberle, Kaplan, and Montague prove five theorems demonstrating that the Hempel and Oppenheim definition is not restrictive enough. In [3] Kim proposes two further conditions to supplement the Hempel and Oppenheim definition in order to avoid the objections posed in [1]. In this paper it is shown that the definition of Hempel and Oppenheim supplemented by Kim's conditions is open to a trivialization very (...) analogous to that given in [1]. (shrink)